<?php // lint >= 7.4

10_0;
1.100_00;
6.674_083e-11;
299_792_458;
0xCAFE_F00D;
0b0101_1111;
0137_041;
